41. Lectures on non-standard analysis
المؤلف: Machover, Moshe
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematical analysis,، Logic, Symbolic and mathematical,، Uniform spaces
رده :
QA
3
.
L28
no
.
94


42. Logic and combinatorics
المؤلف: [Edited by]& Stephen G. Simpson
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47


43. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
المؤلف: Stephen G. Simpson, editor
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985


45. Mathematics of Ramsey Theory
المؤلف: edited by Jaroslav Nešetřil, Vojtěch Rödl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.

46. Mutational and Morphological Analysis
المؤلف: by Jean-Pierre Aubin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.

47. Non-standard analysis
پدیدآورنده : Robinson, Abraham
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Non-standard analysis
المؤلف: Robinson, Abraham
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
R6
1974


49. Non-standard analysis
المؤلف: / Abraham Robinson revised edition
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974


50. Nonstandard logics and nonstandard metrics in physics
المؤلف: Honig, William M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical,، Metric spaces,، Mathematical physics
رده :
QC
20
.
7
.
A5
.
H66
1995


51. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed
المؤلف: Kung, Guido
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813


52. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813


53. Propositions, functions, and analysis : selected essays on Russell's philosophy
المؤلف: Hylton, Peter
المکتبة: (طهران)
موضوع: ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical
رده :
B
1649
.
R94H94


54. Propositions, functions, and analysis :selected essays on Russell's philosophy
المؤلف: Hylton, Peter.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Russell, Bertrand,2781-0791,History ، Analysis )Philosophy( - 02th century,History ، Logic, Symbolic and mathematical - 02th century
رده :
B1649
.
R94
H94
2005


55. Qualitative spatial and temporal reasoning
المؤلف: Gérard Ligozat.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)
رده :
Q339
.
25
.
L54
2012eb


56. Reading, Writing, and Proving :
المؤلف: by Ulrich Daepp, Pamela Gorkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3


57. Schaum s outline of theory and problems of discrete mathematics
المؤلف: Lipschutz, Seymour
المکتبة: (طهران)
موضوع: Algebra, Abstract - Outlines, syllabi, etc , Combinatorial analysis - Outlines, syllabi, etc , Logic, Symbolic and mathematical - Outlines, Syllabi, etc
رده :
QA
162
.
L5
1997


58. Schaum's outline of theory and problems of discrete mathematics
المؤلف: / Seymour Lipschutz, Marc Lars Lipson
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
QA162
.
L56
1997


59. Schaum's outline of theory and problems of discrete mathematics
المؤلف: / Seymour Lipschutz, Marc Lars Lipson
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997


60. Schaum's outline of theory and problems of discrete mathematics
المؤلف: / Seymour Lipschutz, Marc Lars Lipson
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997

